Simply-Typed Lambda-Calculus

英文缩写：STLC

英文全称：Simply-Typed Lambda-Calculus

中文释义：简单型lambda微积分

中文拼音：jiǎn dān xíng wēi jī fēn

所属分类：Academic & Science

上一个：Gravity Gradiometer Survey System 下一个：Alert On Lan

栏目分类

英语单词英文缩写

常用缩写